匿名函数 (Lambda)
1. 概述
在 Haskell 中，匿名函数（也称为 Lambda 表达式）是一种不需要显式命名的函数。它们通常用于需要临时函数的地方，或者在函数式编程中作为高阶函数的参数。Lambda 表达式提供了一种简洁的方式来定义和使用函数，而不需要为其分配一个全局名称。
2. 基本语法
Lambda 表达式的基本语法如下：
\arguments -> expression
\符号表示这是一个 Lambda 表达式。arguments是函数的参数列表。->符号将参数列表与函数体分隔开。expression是函数体，即函数的返回值。
示例 1: 简单的 Lambda 表达式
addOne = \x -> x + 1
在这个例子中，addOne 是一个 Lambda 表达式，它接受一个参数 x 并返回 x + 1。
示例 2: 多参数的 Lambda 表达式
add = \x y -> x + y
在这个例子中，add 是一个 Lambda 表达式，它接受两个参数 x 和 y，并返回它们的和。
3. 使用场景
Lambda 表达式通常用于以下场景：
- 高阶函数：作为高阶函数的参数，例如
map、filter和fold。 - 临时函数：在需要临时函数的地方，避免定义全局函数。
- 函数组合：在函数组合中使用 Lambda 表达式可以使代码更简洁。
示例 3: 使用 Lambda 表达式进行列表操作
squares = map (\x -> x * x) [1, 2, 3, 4, 5]
在这个例子中，squares 是一个列表，包含 [1, 2, 3, 4, 5] 中每个元素的平方。Lambda 表达式 \x -> x * x 被传递给 map 函数。
示例 4: 使用 Lambda 表达式进行过滤
evens = filter (\x -> x `mod` 2 == 0) [1, 2, 3, 4, 5]
在这个例子中，evens 是一个列表，包含 [1, 2, 3, 4, 5] 中的所有偶数。Lambda 表达式 \x -> x mod 2 == 0 被传递给 filter 函数。
4. 实践练习
练习 1: 使用 Lambda 表达式计算列表中所有元素的和
编写一个 Haskell 程序，使用 Lambda 表达式计算列表 [1, 2, 3, 4, 5] 中所有元素的和。
sumList = foldl (\acc x -> acc + x) 0 [1, 2, 3, 4, 5]
练习 2: 使用 Lambda 表达式过滤出列表中的奇数
编写一个 Haskell 程序，使用 Lambda 表达式过滤出列表 [1, 2, 3, 4, 5] 中的所有奇数。
odds = filter (\x -> x `mod` 2 /= 0) [1, 2, 3, 4, 5]
练习 3: 使用 Lambda 表达式计算列表中所有元素的平方和
编写一个 Haskell 程序，使用 Lambda 表达式计算列表 [1, 2, 3, 4, 5] 中所有元素的平方和。
sumOfSquares = foldl (\acc x -> acc + x * x) 0 [1, 2, 3, 4, 5]
5. 总结
Lambda 表达式是 Haskell 中一种强大的工具，它允许我们以简洁的方式定义临时函数。通过使用 Lambda 表达式，我们可以更灵活地编写代码，尤其是在处理高阶函数和临时函数时。掌握 Lambda 表达式的使用，将使你在 Haskell 编程中更加得心应手。
6. 进一步学习
- 高阶函数：深入学习
map、filter、fold等高阶函数，了解它们如何与 Lambda 表达式结合使用。 - 函数组合：学习如何使用
.运算符进行函数组合，并结合 Lambda 表达式实现更复杂的函数逻辑。 - 类型推导：了解 Haskell 的类型推导机制，理解 Lambda 表达式的类型推导过程。
通过这些练习和进一步的学习，你将能够更好地掌握 Haskell 中的匿名函数，并在实际编程中灵活运用它们。